Nuprl Definition : eq_id 11,40

eq_id(ab) == eqof(id-deq)(a,b
latex


Definitionsid-deq, eqof(d)
FDL editor aliaseseq_id

origin